Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

涂覆型RAM的研究现状和发展趋势

涂覆型ＲＡＭ 技术是隐身技术中的重要技术之一,并在隐身武器系统中得到广泛应用。首先分析阐述了涂覆型ＲＡＭ 的重要地位,然后介绍了铁氧体ＲＡＭ、超细金属粉末ＲＡＭ、高分子聚合物ＲＡＭ 的研究和应用现状。最后介绍了手性材料、纳米材料、多频谱ＲＡＭ 及智能隐身材料的最新研究状况     

外卡式传感器特征参数的提取与分析

基于试验所检测到的压力波形,通过分析燃油喷射过程,提取了压力波形的特征参数,着重给出了特征点识别的新算法,井用MATLAB开发了相应软件。最后,根据识别结果,分析了调整参数对特征参数的影响。     

21世纪设备维修工程的新进展一再制造工程

随着21世纪的来临,制造与维修工程越来越趋于统一。未来的制造与维修工程将考虑设备和零部件设计、制造和运行的全过程,是一个以优质、高效、节能、节材为目标的系统工程。再制造工程是国外新兴的产业领域,是先进制造技术的重要组成都分,也是先进制造技术的重要补充和发展。再制造技术充分利用各种先进表面工程和其它成型技术,制成再制造毛坯,形成再制造产品,是具有重大实用价值和优质、高效、少污染的绿色制造技术。     

自适应管道有源消声系统的研究

有源消声技术对于管道中低频噪声的控制非常有效。本文描述的自适应管道有源消声系统,性能稳定,对单频的消声量可达30dB,对宽带随机噪声的消声量不低于14dB。     

超声波检测混凝土屋面渗漏裂缝的实验研究

屋面渗漏维修一直困扰着房屋管理人员和维修人员。如何有效地确定渗漏区域和渗漏源,是快速修复屋面渗漏的关键所在。主要分析探讨了超声波在混凝土屋面渗漏裂缝检测方面的应用可行性,通过研究超声波的检测原理和探测方法,并结合工程实例,具体分析了超声波检测法在屋面渗漏裂缝检查中的优势与不足,为确定有效的屋面渗漏检测方法提供了一定的参考。     

舰艇自防御的威胁排序方法研究

威胁评估与排序是舰艇自防御系统必须具备的重要功能。在多指标决策理论的基础上,结合灰色系统理论和逼近理想解方法,提出了灰色逼近理想解的威胁排序算法。首先通过建立舰艇自防御的空中威胁排序指标体系,得到各个指标的隶属度函数,再通过主客观结合的有序二元比较法得到威胁评估指标的权重,最后通过逼近理想解的灰色关联度方法对空中目标进行威胁评估与排序,并研究了分辨系数对威胁排序的影响。通过舰艇自防御防空作战实例证明了算法的有效性和工程实用性。     

ARUAV前沿判别法抗多点源诱偏性能研究

基于反辐射无人机的时域鉴别技术,提出了一种以小波分析为手段的前沿判别法。将被动雷达导引头使用固定波门对脉冲前沿进行采样所得的信号作小波分析,对分析结果进行判定,当判定采样信号内为单辐射源信号时对其进行测向、测频、跟踪和打击。针对两点源诱偏系统分析表明,在大部分空域中,反辐射无人机总是能首先跟踪诱饵信号。通过建模与仿真,验证了前沿判别法能够有效对抗两点源诱偏系统,并由固定波门得到了有效的判别空域。     

基于依赖矩阵的Web服务组合故障诊断

为了保证指挥信息系统在动态环境下能够提供持续可靠的组合服务,提出一种利用依赖矩阵对Web服务组合故障原因进行诊断的模型,对依赖矩阵的建立进行了详细说明。然后,基于构造的依赖矩阵,提出改进的贪心算法对失效情况进行探测,并设计了基于二分查找的故障定位算法。实验模拟表明,提出的模型能够利用少量探测就能监测整个服务组合流程的运行情况,并定位找到错误源。     

车载火控系统标定原理及误差分析

巡航导弹的快速发展改变了现代战争的作战模式,为了实现对该目标的有效拦截,将防空火控系统组网是一种有效手段。文中以车载火控系统组网为例,介绍了火控系统两种标定方法的原理,并结合目标态势对误差进行了分析,结果表明系统标定引入的误差与定位定向设备精度、标定系统距离和目标态势都是相关的。